automatic theorem proving
[网络] 自动定理证明；机械证明定理
热门查询
- ivory n. 象牙；乳白色；长牙 adj. 乳白色的；象牙制的 n. (Ivory)人名；(英)艾沃里
- mourner n. 哀悼者；悲伤者；送葬者；忏悔者
- hope n. 希望；期望；信心 vi. 希望；期待；信赖 vt. 希望；期望 n. (Hope)人名；(印)霍普；(法)奥普；(西)奥佩
- finisher n. 整理工；修整器；决定性的事件；最后优胜者
- toned adj. 年久变色的；有声调的，具有……音质的
- audiologist n. 听力学家；听觉病矫治专家
- cohabit vi. 同居（尤指未婚而同居者）
- alley n. 小巷；小路；小径 n. (Alley)人名；(英)阿利
- cloverleaf n. 四叶苜蓿形的立体交叉公路
- Marcus n. [机] 大铁锤
- revealingly adv. 启发人地；袒胸露肩地
- tenacity n. 韧性；固执；不屈不挠；黏性
- reserve n. 储备，储存；自然保护区；预备队；缄默；[金融] 储备金 vt. 储备；保留；预约 vi. 预订 n. (Reserve)人名；(法)勒塞尔夫
- spookily adv. spooky（鬼一般的, 令人害怕的）的变形
- hardball n. 硬式棒球（等于baseball）；（为达到某种目的而采取的）强硬手段；刀剑搏杀
- uncontainable 不受限制的 压抑不住的
- Drury [体]德鲁赖约定叫; [人名] [英格兰人姓氏] 德鲁里绰号，情人，来源于古法语，含义是“爱，友谊”(love,friendship); [人名] [英格兰人姓氏] 德鲁里来源于日耳曼语人名，含义是“忠诚，信任+权力”(truth,trust+power); [地名] [新西兰] 德鲁里
- biosensor n. [生理][生物] 生物传感器，[生物] 生物感应器
- warbler n. 啭鸟；鸣鸟；用颤音歌唱的人
- Roh [医][=rat ovarian hyperemia(text)]大鼠卵巢充血（试验）
